<?php
function dobro($x) {
	return 2 * x;
}

$a = dobro(2);
?>